left inverse (suomeksi)

Määritelmät:

(lb, en, mathematics) A related function that, given the output of the original function returns the input that produced that output.
(lb, en, category theory) For a given morphism ''f'' : ''X'' → ''Y'', its ''right inverse'' (if it has one) is a morphism ''s'' : ''Y'' → ''X'' such that $s \circ f = \mbox{id}_X$ .